67.42/94.22	unsat
