28.97/29.06	unsat
