29.33/31.55	unsat
