66.92/67.53	unsat
