48.47/50.27	unsat
