50.92/51.66	unsat
