51.13/51.39	unsat
