51.63/51.86	unsat
