40.18/40.27	unsat
