71.16/71.31	unsat
