6.48/10.51	unsat
