1.18/3.00	unsat
