4.94/7.49	unsat
