56.40/59.97	unsat
