73.13/73.94	unsat
