49.94/50.27	unsat
