30.93/31.06	unsat
