60.57/68.23	unsat
