1.59/4.94	unsat
