66.91/67.41	unsat
