67.28/67.72	unsat
