67.97/68.23	unsat
