71.19/74.22	unsat
