28.82/31.77	unsat
