71.72/71.94	unsat
