30.23/32.19	unsat
