67.10/68.80	unsat
