1.59/2.94	unsat
