31.14/31.24	unsat
