71.09/71.21	unsat
