55.90/59.86	unsat
