51.64/51.86	unsat
