31.81/34.38	unsat
