29.83/31.58	unsat
