40.10/40.27	unsat
