42.24/43.27	unsat
