6.48/7.51	unsat
