56.80/59.09	unsat
