31.73/31.89	unsat
