1.49/3.28	unsat
