195.93/196.18	unsat
