67.13/68.53	unsat
