29.22/31.82	unsat
