50.80/51.04	unsat
