5.07/5.49	unsat
