1.59/1.66	unsat
