5.98/7.49	unsat
