40.11/40.20	unsat
