49.36/50.04	unsat
