71.67/71.84	unsat
