30.25/31.33	unsat
