67.58/68.56	unsat
