66.99/69.87	unsat
