47.11/47.27	unsat
