71.19/71.30	unsat
