42.42/43.27	unsat
