67.14/67.30	unsat
