55.60/59.97	unsat
