41.73/42.27	unsat
