71.32/71.47	unsat
