30.13/32.06	unsat
