1.11/3.00	unsat
