49.36/50.77	unsat
