59.33/59.86	unsat
