67.47/67.65	unsat
