1.48/3.21	unsat
