67.53/68.80	unsat
