1.28/2.00	unsat
