30.65/33.54	unsat
