1.48/3.00	unsat
