42.11/42.27	unsat
