7.40/10.11	unsat
