66.77/68.87	unsat
