1.48/3.28	unsat
