1.59/3.13	unsat
