67.23/67.47	unsat
