1.59/3.00	unsat
