8.40/10.35	unsat
