67.78/67.90	unsat
