245.62/247.27	unsat
