5.49/7.28	unsat
