7.48/10.83	unsat
