1.08/3.00	unsat
