71.19/71.86	unsat
