56.41/59.04	unsat
