49.27/50.02	unsat
