30.23/31.33	unsat
