30.33/31.08	unsat
