56.40/59.84	unsat
