67.52/67.86	unsat
