1.98/3.00	unsat
