31.14/31.71	unsat
