50.02/51.03	unsat
