1.18/2.00	unsat
