1.39/1.59	unsat
