40.98/43.27	unsat
