31.58/31.66	unsat
