7.40/10.84	unsat
