68.53/70.23	unsat
