30.23/31.11	unsat
